Defeating Memory Leaks With Zig Allocators
tgmatos.github.io·19h·
Discuss: Hacker News, r/programming
🔒Type Safety
Know Your Playground: The Essential Guide to Algorand for MEV Enthusiasts
hackernoon.com·18h
🔗Hash Chains
A Programmer’s Guide to x86-64 Assembly (Series Overview)
blog.codingconfessions.com·5h
🔧RISC-V Assembler
GenPool v1.6: Modern Software, and What sync.Pool Gets Wrong
reddit.com·13h·
Discuss: r/golang
💿ZFS Internals
Dynamic ClassFile Generation To Save 15.5 Nanoseconds
github.com·2d·
Discuss: r/programming
✅Format Verification
Forget Borrow Checkers: C3 Solved Memory Lifetimes With Scopes
c3-lang.org·4d·
Discuss: Lobsters, Hacker News, r/programming
🔩Systems Programming
Computer Architecture: A quantitative approach
ikerexxe.github.io·2d
🖥️Hardware Architecture
Performance Hacks for Brady’s Algorithm
nickdrozd.github.io·1d
🎞️Tape Combinatorics
A Rust shaped hole
ente.io·2d
🦀Rust Macros
Billions of Edges per Second with Postgres
onesparse.com·16h·
Discuss: Hacker News
🗜️Graph Compression
Building High-Performance GraphQL Servers in Golang with Optimized Resolver Patterns
dev.to·1d·
Discuss: DEV
🌊Stream Processing
Inheritance over composition, sometimes
death.andgravity.com·1d
🦀Rust Macros
Compressed data structures for Heegaard splittings
arxiv.org·6h
🕳️Persistent Homology
maxsim-cpu: Maximising Maxsim Efficiency
mixedbread.com·1d·
Discuss: Hacker News
🌊Streaming Algorithms
Claude Code Unleashed
ymichael.com·16h·
Discuss: Hacker News
⚡Proof Automation
Least expensive way to get more RAM?
reddit.com·12h·
Discuss: r/homelab
🖥️Hardware Architecture
To be a better programmer, write little proofs in your head
the-nerve-blog.ghost.io·1d·
Discuss: Hacker News, r/programming
🛡️Preservation Proofs
FSM Library for Embedded C Projects
hackster.io·2d
🦀Embedded Rust
Google Wifi Pro: Glitching from Root to EL3: Part 1 - Characterization
raelize.com·10h·
Discuss: Lobsters, Hacker News
🛡️eBPF Security
CVE-2025-4919: Corruption via Math Space in Mozilla Firefox
thezdi.com·20h
🦀Rust Verification